<?php
function enlaceMenu($menu) {
	
	echo("<li><a href=\"".__SITE_HOST."/".$menu."\">".$menu."</a></li>");
}
?>

<ul>
<?php $claves = array_keys($_SESSION["modelo"]); array_walk($claves, "enlaceMenu"); ?>
</ul>